skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Search for: All records

Creators/Authors contains: "Iwasa, Ryomei"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. We formulate and prove a Conner–Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable ∞<#comment/> \infty -category of non- A 1 \mathbb {A}^1 -invariant motivic spectra, which turns out to be equivalent to the ∞<#comment/> \infty -category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove that this ∞<#comment/> \infty -category satisfies P 1 \mathbb {P}^1 -homotopy invariance and weighted A 1 \mathbb {A}^1 -homotopy invariance, which we use in place of A 1 \mathbb {A}^1 -homotopy invariance to obtain analogues of several key results from A 1 \mathbb {A}^1 -homotopy theory. These allow us in particular to define a universal oriented motivic E ∞<#comment/> \mathbb {E}_\infty -ring spectrum M G L \mathrm {MGL} . We then prove that the algebraic K-theory of a qcqs derived scheme X X can be recovered from its M G L \mathrm {MGL} -cohomology via a Conner–Floyd isomorphism\[ M G L ∗<#comment/> ∗<#comment/> ( X ) ⊗<#comment/> L Z [ β<#comment/> ±<#comment/> 1 ] ≃<#comment/> K ∗<#comment/> ∗<#comment/> ( X ) , \mathrm {MGL}^{**}(X)\otimes _{\mathrm {L}{}}\mathbb {Z}[\beta ^{\pm 1}]\simeq \mathrm {K}{}^{**}(X), \]where L \mathrm {L}{} is the Lazard ring and K p , q ( X ) = K 2 q −<#comment/> p ( X ) \mathrm {K}{}^{p,q}(X)=\mathrm {K}{}_{2q-p}(X) . Finally, we prove a Snaith theorem for the periodized version of M G L \mathrm {MGL}
    more » « less